Section: Partnerships and Cooperations

International Research Visitors

Visits of International Scientists

• Éric Tanter (University of Chile) joined Inria as a Visiting Professor from Jul 2018 to March 2019 and from August to December 2019; he gave various seminars at Inria including one entitled “Gradual Parametricity, Revisited”;

• Li-yao Xia (University of Pennsylvania) visited Prosecco on 7 January and gave a talk entitled “From C to Interaction Trees”;

• Matías Toro (University of Chile) visited Prosecco on 9 January and gave a talk entitled “Type-Driven Gradual Security with References”;

• Deepak Garg (MPI-SWS) visited Prosecco on 29 January and 20 November;

• Gilles Barthe (MPI-SP) visited Prosecco on various occasions: 29 January, 3–6 June, 9–13 Sept, and 7–9 October 2019;

• Jeremy Siek (Indiana University) visited Prosecco on 21 February and gave a seminar entitled “Toward Efficient Gradual Typing”;

• Andrew Tolmach (Portland State University) visted Prosecco on 8–12 April and gave a seminar on “Enforcing C-level security policies using machine-level tags”;

• Guido Martinez (CIFASIS-CONICET Rosario) visited Prosecco on various occasions: April 15–19, ICFP, 30 September to 12 October

• Nikos Vasilakis (University of Pennsylvania) visited Prosecco on 15–19 July and gave a seminar on “Retrofitting Security, Module by Module”;

• Clement Pit-Claudel (MPI) visited Prosecco on 14 August;

• Kevin Liao (MPI-SP) visited Prosecco on various occasions and gave a seminar on “ILC: A Calculus for Composable, Computational Cryptography”;

• Tahina Ramananandro (Microsoft Research) visited Prosecco on 30 September to 15 October and gave a seminar on “EverParse”;

• Nik Swamy (Microsoft Research) and Aymeric Fromherz (CMU) visited Prosecco from 7–11 October and gave a seminar on “Verifying a mixture of C and assembly code with Low* and Vale”;

• Jonathan Protzenko (Microsoft Research) visited Prosecco on 30 September to 15 October and gave a seminar on “The EverCrypt verified cryptographic provider”;

• Jakob von Raumer (University of Nottingham) visited Prosecco on 23 October and gave a seminar on “Indexed Inductive Types”;

• Bas Spitters (COBRA, Aarhus University) visited Prosecco on 25–29 November and gave a seminar on “ConCert: A Smart Contract Certification Framework in Coq”;

• Adrien Koutsos (MPI-SP) visited Prosecco on 5 November and gave a talk on “5G-AKA authentication protocol privacy”;

• Akram El-Korashy (MPI-SWS) visited Prosecco on 20 November;

• Shin-ya Katsumata (NII, Tokyo, Japan) visited Prosecco on 25–28 November;

• Ian Miers (Johns Hopkins University) visited Prosecco on 29 November and gave a seminar on “Zcash, Blockchains, and the possibilities for formal verification with zero-knowledge”;

Internships

• Antoine Van Muylder (Paris 7): from April to September 2019 – advised by Catalin Hritcu, Exequiel Rivas, and Kenji Maillard

• Guillaume Gette: from April to September 2019 – advised by Karthikeyan Bhargavan

• Mikhail Volkhov: from April to August 2019 – advised by Karthikeyan Bhargavan and Prasad Naldurg

Visits to International Teams

• Catalin Hritcu visited EPFL Lausanne on 25–27 September;

• Catalin Hritcu, Carmine Abate, Roberto Blanco, and Jeremy Thibault visited MPI-SWS in Saarbrücken on 18–22 October and 1–3 December;

• Catalin Hritcu visited Chalmers University in Gothenburg on 4–6 December;